Possible(R;es)
== R-Feasible(R) c (w:World. p:FairFifo. (PossibleWorld([[R]];w) & es = ES(w))) 

latex

---

clarification:

R-possible{i:l}
R-possible(R; es)
== R-Feasible{i:l}
== R-Feasible(R)
== c (w:world{i:l}
== c (p:fair-fifo{i:l}(w). (possible-world{i:l}([[R]]; w) & es = w-es{i:l}(w; p)  ES{i})) 

latex

Definitions	A c B, R-Feasible(R), World, x:A. B(x), FairFifo, P & Q, PossibleWorld(D;w), [[R]], s = t, ES, ES(the_w)
FDL editor aliases	R-possible